Characterisation of Harmony With Inductive Logic Programming
نویسندگان
چکیده
We present an approach for the automatic characterisation of the harmony of song sets making use of relational induction of logical rules. We analyse manually annotated chord data available in RDF and interlinked with web identifiers for chords which themselves give access to the root, bass, component intervals of the chords. We pre-process these data to obtain high-level information such as chord category, degree and intervals between chords before passing them to an Inductive Logic Programming software which extracts the harmony rules underlying them. This framework is tested over the Beatles songs and the Real Book songs. It generates a total over several experiments of 12,450 harmony rules characterising and differentiating the Real Book (jazz) songs and the Beatles’ (pop) music. Encouragingly, a preliminary analysis of the most common rules reveals a list of well-known pop and jazz patterns that could be completed by a more in depth analysis of the other rules.
منابع مشابه
Towards Logic-based Representations of Musical Harmony for Classification, Retrieval and Knowledge Discovery
We present a logic-based framework using a relational description of musical data and logical inference for automatic characterisation of music. It is intended to be an alternative to the bag-of-frames approach for classification tasks but is also suitable for retrieval and musical knowledge discovery. We present the first results obtained with such a system using Inductive Logic Programming as...
متن کاملProbabilistic and Logic-Based Modelling of Harmony
Many computational models of music fail to capture essential aspects of the high-level musical structure and context, and this limits their usefulness, particularly for musically informed users. We describe two recent approaches to modelling musical harmony, using a probabilistic and a logic-based framework respectively, which attempt to reduce the gap between computational models and human und...
متن کاملComputational Modelling of Harmony
Many computational models for processing music fail to capture essential aspects of the high-level musical structure and context, and this limits their usefulness, particularly for musically informed users. In this talk I describe two recent approaches to modelling musical harmony which attempt to reduce the gap between computational models and human understanding of music. The first is a chord...
متن کاملA Note on Logical Relations Between Semantics and Syntax
This note gives a new proof of the ‘operational extensionality’ property of Abramsky’s lazy lambda calculus—namely the coincidence of contextual equivalence with a co-inductively defined notion of ‘applicative bisimilarity’. This purely syntactic result is here proved using a logical relation (due to Plotkin) between the syntax and its denotational semantics. The proof exploits a mixed inductiv...
متن کاملGeneralised Kernel Sets for Inverse Entailment
The task of inverting logical entailment is of central importance to the disciplines of Abductive and Inductive Logic Programming (ALP& ILP). Bottom Generalisation (BG) is a widely applied approach for Inverse Entailment (IE), but is limited to deriving single clauses from a hypothesis space restricted by Plotkin’s notion of C-derivation. Moreover, known practical applications of BG are confine...
متن کامل